Новая философская энциклопедия - карри хаскелл брук
Связанные словари
Карри хаскелл брук
карри хаскелл брук
(12 сентября 1900—81) — американский логик и математик. Воспитанник Гёттингенского университета, защитил докторскую диссертацию по теории комбинаторов (1930), профессор Пенсильванского университета с 1941. Большинство сочинений посвящено комбинаторной логике и обшей теории формальных систем и исчислений. Первым построил чисто дедуктивно теорию алгоритмов в виде исчисления (чистой) теории комбинаторов и доказал ее непротиворечивость. Он синтаксически обосновал сформулированный в 1920 M. И. Шейнфинкелем принцип комбинаторной полноты и на его основе ввел (независимо от А. Чёрча) неограниченное теоретико-множественное свертывание (Combinatory Logic, v. l, 1958, совместно с Р. Фейсом; Сотbinatory Logic, v. 2, 1972, — совместно с Дж. Хиндли и Дж. Селдином). Исходя из идей функциональности и вычислимости, Карри стремился найти основания математики, отличные от теоретико-множественных. При этом он считал полезным исследование и противоречивых подсистем. В методологии математики Карри был представителем созданного им направления конструктивного неоформализма, рассматривающего математику как совокупность методов, пригодных для изучения формальных систем и исчислений. Он был одним из создателей ассоциации «Символическая логика» и журнала «Journal of Symbolic Logic» (1936). Соч.: Grundlagen der Kombinatorischen Logik, 1930; A Formalizalion f Recursive Arithmetik.— «American Journal Mathematic», 1941, v. 63: Основания математической логики. M., 1969.
Лит.: Seidin J. P. and Hindley J. R. (eds). To H. B. Curry: Essays on Combinaiory Logic, Lambda-Calculus and Formalism. L., 1980.
А. С. Кузичев, 3. А. Кузичева
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1764 | |
4 | 1757 | |
5 | 1670 | |
6 | 1610 | |
7 | 1522 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1441 | |
13 | 1420 | |
14 | 1416 | |
15 | 1315 | |
16 | 1289 | |
17 | 1274 | |
18 | 1268 | |
19 | 1261 | |
20 | 1244 |